M. H. Löb, "Solution of a problem of Leon Henkin" - Internet Explorer 2.0

M. H. Löb, "Solution of a problem of Leon Henkin"

著者

メモ

導出可能性条件についての整理も行われている

今日，導出可能性条件をHilber-Bernays-Löbの導出可能性条件と言ったりするのはこの論文に端を発する

その他にはLöbの定理など